type T =
    static member M(_, _) () = ()

T.M(){caret}()
